A secrecy-preserving language for distributed and object-oriented systems
نویسندگان
چکیده
منابع مشابه
A Group Structuring Mechanism for a Distributed Object-Oriented Language
This paper describes a structuring mechanism for grouping objects in a distributed object-oriented language. A group structuring mechanism provides a single flexible method for managing distributed applications that involve complicated communication protocols and sophisticated structure. We have added such a mechanism to the Emerald distributed object-oriented language and its runtime system. O...
متن کاملA Programming Model and Language for Concurrent and Distributed Object-Oriented Systems
The wide availability of multi-core processors and the ubiquitous presence of the Internet lead to new challenges in software design and implementation. Software has to be written in a parallelizable way to profit from multiple cores. Interaction with distributed Internet services requires coping with message delays and network failures. These challenges reach application domains, like desktop ...
متن کاملObject-oriented Software Architecture for Distributed Systems
In this paper we present a distributed software architecture that integrates the communication and processing capabilities of heterogeneous devices in a networked computing environment. The proposed architecture provides a framework for a location-transparent implementation, operation, and maintenance of real-time control applications as well as more specialized services like location control f...
متن کاملObject-Oriented Specification and Open Distributed Systems
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning about an object in terms of its observable behavior, where the specification of an object’s present behavior is given by means of its past interactions with the environment. In this paper, we review some of the ideas behi...
متن کاملDIF8901 Object-Oriented Systems A Comparison of Distributed Object Technologies
This essay compares the popular distributed object models/middleware standards; CORBA, DCOM and Java/RMI. These models are to a certain degree competing and have strengths and weaknesses with respect to portability, programming language and hardware support, ease of use and availability. The models are all promoting reuse through component interfaces and distributed object services. All three s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2018
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2018.04.001